$\forall$${\it es}$:ES, $a$, $b$:E. $\neg$first($a$) $\Rightarrow$ $\neg$first($b$) $\Rightarrow$ pred($a$) $=$ pred($b$) $\in$ E $\Rightarrow$ $a$ $=$ $b$